self-conjugate subgroup

正规子群